Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
751	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2014-07-12 00:42:10 Programming paradigms Formal sciences Association for Computing Machinery Principles of Programming Languages Formal methods International Conference on Logic Programming Logic programming International Symposium on Logic-based Program Synthesis and Transformation Lecture Notes in Computer Science Computer science Computing Software engineering
752	Concise Integer Linear Programming Formulations for Dependency Parsing ∗ Andr´e F. T. Martins∗† Noah A. Smith∗ Eric P. Xing∗ School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213, USA Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2009-05-19 09:57:02 Compiler construction Formal languages LL parser Dependency grammar Linear programming Parse tree Conditional random field Combinatory logic Directed graph Mathematics Graph theory Theoretical computer science
753	International Journal of Engineering and Advanced Technology (IJEAT) ISSN: 2249 – 8958, Volume-1, Issue-1, October 2011 Temporal Data Mining: An Overview Mohd. Shahnawaz, Ashish Ranjan, Mohd Danish Add to Reading List Source URL: www.ijeat.org Language: English - Date: 2015-06-06 06:36:15 Science Machine learning Computational statistics Data analysis Formal sciences Sequence mining Association rule learning Cluster analysis GSP Algorithm Data mining Statistics Bioinformatics
754	Software Synthesis Procedures ∗ Viktor Kuncak Mikaël Mayer LARA, I&C Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-12-03 07:53:01 Model theory Logic in computer science Constraint programming Electronic design automation Formal methods Satisfiability Modulo Theories Boolean satisfiability problem First-order logic Interpretation Mathematical logic Theoretical computer science Mathematics
755	ATL* Satisfiability is 2EXPTIME-Complete⋆ Sven Schewe Universit¨ at des Saarlandes, 66123 Saarbr¨ ucken, Germany Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-22 13:34:08 Formal methods Model checking Entailment Boolean satisfiability problem Logic Theoretical computer science Deduction
756	Kinematic Analysis of a Space Mechanism—Rendezvous Simulator Add to Reading List Source URL: www.abhinavjournal.com Language: English - Date: 2014-01-30 00:14:54 Business intelligence Data analysis Formal sciences Data management Web mining Knowledge discovery Analytics Data warehouse SAS Statistics Science Data mining
757	Abhinav International Monthly Refereed Journal of Research In Management & Technology ISSN – Volume II, March’13 Add to Reading List Source URL: www.abhinavjournal.com Language: English - Date: 2013-12-17 06:25:29 Knowledge Formal sciences Data mining Data analysis Machine learning Educational data mining Knowledge discovery University student retention ADAPA Statistics Business intelligence Science
758	Introduction Encoding SC (LIA) into U+LIA Implementation and Future Work Add to Reading List Source URL: www.qatar.cmu.edu Language: English - Date: 2014-07-18 05:28:18 Set-builder notation Formal methods Logic in computer science NP-complete problems Mathematics Mathematical logic Multiset
759	Army Research Laboratory Technical Implementation Plan 2015 – 2019 U.S. ARMY RESEARCH LABORATORY MISSION: Discover, innovate, and transition science and technology Add to Reading List Source URL: www.defenseinnovationmarketplace.mil Language: English - Date: 2015-03-03 12:39:02 Formal sciences Parallel computing Computational science Emerging technologies Big data Transaction processing Visual analytics Data mining Computer science Computing Concurrent computing Science
760	Proof Patterns for Formal Methods Leo Freitas and Iain Whiteside School of Computing Science, Newcastle University, U.K. {.}@newcastle.ac.uk Abstract. Design patterns represent a highly successful technique in Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-04-10 11:01:31 Logic in computer science Rippling Theorem Formal methods Postcondition First-order logic Mathematical proof Precondition IP Logic Mathematics Theoretical computer science

UPDATE